Group Theory

A group $(G, *)$ is a set with a binary operator $*$ that takes two elements in the set and returns another.